Feeds to Scour
SubscribedAll
Scoured 19485 posts in 678.9 ms
First Proof | Research-Level Math for AI Evaluation
1stproof.org·1d·
Discuss: Hacker News
🎯Performance Proofs
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·19h
🤝Consensus Protocols
RocqSmith: Can Automatic Optimization Forge Better Proof Agents?
arxiv.org·1d
⚔️Lean Tactics
Let Lambda Come Over
yamlscript.org·6h
⬆️Lambda Lifting
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Build a Compiler in Five Projects
kmicinski.com·1h
🔨Compilers
Autopilot - Assistant : Building an AI Copilot with Algolia Agent Studio
dev.to·2h·
Discuss: DEV
🌀Brotli Internals
Google's PaperBanana uses five AI agents to auto-generate scientific diagrams
the-decoder.com·2h
📄Document AI
Boost LLM Security: automated Red Teaming at Scale with Promptfoo
blog.nviso.eu·2d
⚡Proof Automation
How to effectively write quality code with AI
heidenstedt.org·17h·
Discuss: Hacker News
⚡Proof Automation
On the Reachability Problem for One-Dimensional Thin Grammar Vector Addition Systems
arxiv.org·1d
🌳Context free grammars
Synthesizing scientific literature with retrieval-augmented language models
nature.com·1d
🔍Information Retrieval
Logic for Programmers New Release and Next Steps
buttondown.com·2d
⚙️Proof Engineering
Michael Tsai - Blog - LLMs and Software Development Roundup
mjtsai.com·13h
📏Code Metrics
Differential Logic • 1
inquiryintoinquiry.com·1d
📏Linear Logic
Automatic Programming
notes.billmill.org·2d
⚡Proof Automation
Evaluate generative AI models with an Amazon Nova rubric-based LLM judge on Amazon SageMaker AI (Part 2)
aws.amazon.com·18h
🔲Cellular Automata
Compile and Run Your First Program
emojicode.org·22h·
Discuss: Hacker News
🔗Concatenative Programming
AL, Logical
mathhombre.blogspot.com·2d·
Discuss: mathhombre.blogspot.com
🏛️Isabelle HOL
Continuous AI in practice: What developers can automate today with agentic CI
github.blog·1d
⚡Proof Automation

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help